single-char-binding-names-threshold = 0
